Finite Model Theory and its Origins

نویسنده

  • Ronald Fagin
چکیده

Copyright c ©2009, Australian Computer Society, Inc. This paper appeared at the Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Wellington, New Zealand, January 2009. Conferences in Research and Practice in Information Technology (CRPIT), Vol. 96, Markus Kirchberg and Sebastian Link, Ed. Reproduction for academic, not-for profit purposes permitted provided this text is included. Proc. 6th Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Wellington, New Zealand

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Searching for the Origins of Schwab's Deliberative Curriculum Theory in the Thoughts of Aristotle, Dewey and Habermas

The main purpose of this study is exploring the roots and foundations of Schwab’s deliberative theory in curriculum. Therefore, after examining this theory in introduction, its foundations and origins were investigated. According to this, basic assumptions of this theory are practical and quasi practical arts, eclectic arts, commonplace and collective decision. Aristotle’s distinction between i...

متن کامل

Explaining Heterogeneity in Risk Preferences Using a Finite Mixture Model

This paper studies the effect of the space (distance) between lotteries' outcomes on risk-taking behavior and the shape of estimated utility and probability weighting functions. Previously investigated experimental data shows a significant space effect in the gain domain. As compared to low spaced lotteries, high spaced lotteries are associated with higher risk aversion for high probabilities o...

متن کامل

On the Exponent of Triple Tensor Product of p-Groups

The non-abelian tensor product of groups which has its origins in algebraic K-theory as well as inhomotopy theory, was introduced by Brown and Loday in 1987. Group theoretical aspects of non-abelian tensor products have been studied extensively. In particular, some studies focused on the relationship between the exponent of a group and exponent of its tensor square. On the other hand, com...

متن کامل

Unison of the phenomenological theory of genius loci and islamic philosophy-Dispositional influence of climate and its consequences on the design of environment

the light of the Genius Loci theory. The theory has been verified in many studies by the traditional-Islamic philosophers. Proving the closeness of these two viewpoints in extent and type of the environmental influences on disposition can open a venue for applying the theory of Genius Loci to establish a basis for environmental design in regions with Islamic and traditional cultures. This re...

متن کامل

Multiscale Analysis of Transverse Cracking in Cross-Ply Laminated Beams Using the Layerwise Theory

A finite element model based on the layerwise theory is developed for the analysis of transverse cracking in cross-ply laminated beams. The numerical model is developed using the layerwise theory of Reddy, and the von Kármán type nonlinear strain field is adopted to accommodate the moderately large rotations of the beam. The finite element beam model is verified by comparing the present numeric...

متن کامل

بررسی توزیع انرژی ذخیره شده تغییر شکل در داخل پلی‌کریستال فلزی با استفاده از تئوری کریستال پلاستیسیته بر مبنای چگالی نابجایی

The stored deformation energy in the dislocation structures in a polycrystalline metal can provide a sufficient  driving force to move grain boundaries during annealing. In this paper, a thermodynamically-consistent three-dimensional, finite-strain and dislocation density-based crystal viscoplasticity constitutive theory has been developed to describe the distribution of stored energy and dislo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009